Verification Tool for Feature Models and Configurations using Semantic Web Technologies

Semantic models and verification technologies 3

Semantic Web Technologies for e-Learning: Models and Implementation

Nowadays the web can serve as a perfect technological environment for personalized learning which is suggested by educators and based on interactive learning objects. While a range of technological solutions for the development of integrated e-learning environments already exists, the most appropriate solutions require further improvement of the implementation of novel learning objects, unifica...

A Semantic Web Approach to Feature Modeling and Verification

Feature models are widely used in domain engineering to capture common and variant concepts among systems in a particular domain. However, the lack of a formal semantics of feature models has hindered the development of this area. This paper presents a Semantic Web environment for modeling and verifying feature diagrams using ontologies. We use OWL DL (a decidable dialect of OWL) to precisely c...

Using Semantic Web Technologies for Policy Management on the Web

With policy management becoming popular as a means of providing flexible Web security, the number of policy languages being proposed for the Web is constantly increasing. We recognize the importance of policies for securing the Web and believe that the future will only bring more policy languages. We do not, however, believe that users should be forced to conform the description of their policy...

IMPROVE THE RECOMMENDER SYSTEM USING SEMANTIC WEB

To buy his/her necessities such as books, movies, CD, music, etc., one always trusts others’ oral and written consultations and offers and include them in his/her decisions. Nowadays, regarding the progress of technologies and development of e-business in websites, a new age of digital life has been commenced with the Recommender systems. The most important objectives of these systems include a...